<?xml version="1.0" encoding="utf-8"?>
<doc>
<assembly><name>FsCheck</name></assembly>
<members>
<member name="">

</member>
<member name="P:FsCheck.Arbitrary`1.Generator">
<summary>
Returns a generator for &apos;a.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Arbitrary`1.Shrinker(`0)">
<summary>
Returns a sequence of the immediate shrinks of the given value. The immediate shrinks should not include
doubles or the given value itself. The default implementation returns the empty sequence (i.e. no shrinking).
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Check.VerboseAll(System.Type)">
<summary>
 Check all public static methods on the given type that have a testable return type with vthe erbose configuration
</summary>
</member>
<member name="M:FsCheck.Check.VerboseAll``1">
<summary>
 Check all public static methods on the given type that have a testable return type with vthe erbose configuration
</summary>
</member>
<member name="M:FsCheck.Check.Verbose``1(System.String,``0)">
<summary>
Check one property with the verbose configuration, and using the given name.
</summary>
</member>
<member name="M:FsCheck.Check.Verbose``1(``0)">
<summary>
Check one property with the verbose configuration.
</summary>
</member>
<member name="M:FsCheck.Check.QuickAll``1">
<summary>
Check all public static methods on the given type that have a testable return type with quick configuration
</summary>
</member>
<member name="M:FsCheck.Check.QuickAll(System.Type)">
<summary>
Check all public static methods on the given type that have a testable return type with quick configuration
</summary>
</member>
<member name="M:FsCheck.Check.Quick``1(System.String,``0)">
<summary>
Check one property with the quick configuration, and using the given name.
</summary>
</member>
<member name="M:FsCheck.Check.Quick``1(``0)">
<summary>
Check one property with the quick configuration.  
</summary>
</member>
<member name="M:FsCheck.Check.One``1(System.String,FsCheck.Config,``0)">
<summary>
Check the given property using the given config, and the given test name.
</summary>
</member>
<member name="M:FsCheck.Check.One``1(FsCheck.Config,``0)">
<summary>
Check the given property using the given config.
</summary>
</member>
<member name="M:FsCheck.Check.Method(FsCheck.Config,System.Reflection.MethodInfo)">
<summary>
Check the given property identified by the given MethodInfo.
</summary>
</member>
<member name="M:FsCheck.Check.All``1(FsCheck.Config)">
<summary>
Check all public static methods on the given type that have a testable return type with the given configuration.
This includes let-bound functions in a module.
</summary>
</member>
<member name="M:FsCheck.Check.All(FsCheck.Config,System.Type)">
<summary>
Check all public static methods on the given type that have a testable return type with the given configuration.
This includes let-bound functions in a module.
</summary>
</member>
<member name="">

</member>
<member name="F:FsCheck.FsCheck.Config.Runner">
<summary>
A custom test runner, e.g. to integrate with a test framework like xUnit or NUnit. 
</summary>
</member>
<member name="F:FsCheck.FsCheck.Config.EveryShrink">
<summary>
What to print every time a counter-example is succesfully shrunk
</summary>
</member>
<member name="F:FsCheck.FsCheck.Config.Every">
<summary>
What to print when new arguments args are generated in test n
</summary>
</member>
<member name="F:FsCheck.FsCheck.Config.EndSize">
<summary>
The size to use for the last test, when all the tests are passing. The size increases linearly between Start- and EndSize.
</summary>
</member>
<member name="F:FsCheck.FsCheck.Config.StartSize">
<summary>
The size to use for the first test.
</summary>
</member>
<member name="F:FsCheck.FsCheck.Config.Name">
<summary>
Name of the test.
</summary>
</member>
<member name="F:FsCheck.FsCheck.Config.Replay">
<summary>
If set, the seed to use to start testing. Allows reproduction of previous runs.
</summary>
</member>
<member name="F:FsCheck.FsCheck.Config.MaxFail">
<summary>
The maximum number of tests where values are rejected, e.g. as the result of ==&gt;
</summary>
</member>
<member name="F:FsCheck.FsCheck.Config.MaxTest">
<summary>
The maximum number of tests that are run.
</summary>
</member>
<member name="P:FsCheck.Config.Verbose">
<summary>
The verbose configuration prints each generated argument.
</summary>
</member>
<member name="P:FsCheck.Config.Quick">
<summary>
The quick configuration only prints a summary result at the end of the test.
</summary>
</member>
<member name="P:FsCheck.Config.Default">
<summary>
The default configuration is the quick configuration.
</summary>
</member>
<member name="T:FsCheck.Config">
<summary>
For configuring a run.
</summary>
</member>
<member name="">

</member>
<member name="T:FsCheck.DontShrink`1">
<summary>
Use the generator for &apos;a, but don&apos;t shrink.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Gen`1.Map``2(Microsoft.FSharp.Core.FSharpFunc`2{`0,``1})">
<summary>
map the given function to the value in the generator, yielding a new generator of the result type.  
</summary>
</member>
<member name="T:FsCheck.Gen`1">
<summary>
Generator of a random value, based on a size parameter and a randomly generated int.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.IRunner.OnStartFixture(System.Type)">
<summary>
Called before a group of properties on a type are checked.
</summary>
</member>
<member name="M:FsCheck.IRunner.OnShrink(Microsoft.FSharp.Collections.FSharpList{System.Object},Microsoft.FSharp.Core.FSharpFunc`2{Microsoft.FSharp.Collections.FSharpList{System.Object},System.String})">
<summary>
Called on a succesful shrink.
</summary>
</member>
<member name="M:FsCheck.IRunner.OnFinished(System.String,FsCheck.TestResult)">
<summary>
Called whenever all tests are done, either True, False or Exhausted.
</summary>
</member>
<member name="M:FsCheck.IRunner.OnArguments(System.Int32,Microsoft.FSharp.Collections.FSharpList{System.Object},Microsoft.FSharp.Core.FSharpFunc`2{System.Int32,Microsoft.FSharp.Core.FSharpFunc`2{Microsoft.FSharp.Collections.FSharpList{System.Object},System.String}})">
<summary>
Called whenever arguments are generated and after the test is run.
</summary>
</member>
<member name="T:FsCheck.IRunner">
<summary>
For implementing your own test runner.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="P:FsCheck.Outcome.Shrink">
<summary>
 determines for which Outcome the result should be shrunk, or shrinking should continue.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Property">
<summary>
Type synonym for a test result generator.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Result.op_BitwiseAnd(FsCheck.Result,FsCheck.Result)">
<summary>
Returns a new result that is Succeeded if and only if both this
and the given Result are Succeeded.
</summary>
</member>
<member name="T:FsCheck.Result">
<summary>
The result of one execution of a property.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Arb.Default.Unit">
<summary>
Generates (), of the unit type.
</summary>
</member>
<member name="">

</member>
<member name="M:FsCheck.Arb.Default.String">
<summary>
Generates arbitrary strings, which are lists of chars generated by Char.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Arb.Default.Option``1">
<summary>
Generate an option value that is &apos;None&apos; 1/8 of the time.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.Object">
<summary>
Generate an object - a boxed char, string or boolean value.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Arb.Default.Interval">
<summary>
Generates an interval between two non-negative integers.
</summary>
</member>
<member name="">

</member>
<member name="M:FsCheck.Arb.Default.Int">
<summary>
Generate arbitrary int that is between -size and size.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.Function``2">
<summary>
Generate a Function value that can be printed and shrunk. Function values can be generated for types &apos;a-&gt;&apos;b where &apos;a has a CoArbitrary
value and &apos;b has an Arbitrary value.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.FsList``1">
<summary>
Generate a list of values. The size of the list is between 0 and the test size + 1.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.Float">
<summary>
Generates arbitrary floats, NaN, NegativeInfinity, PositiveInfinity, Maxvalue, MinValue, Epsilon included fairly frequently.
</summary>
</member>
<member name="">

</member>
<member name="M:FsCheck.Arb.Default.DontShrink``1">
<summary>
Overrides the shrinker of any type to be empty, i.e. not to shrink at all.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.Derive``1">
<summary>
Try to derive an arbitrary instance for the given type reflectively. Works
for record, union, tuple and enum types.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.DateTime">
<summary>
Generates an arbitrary DateTime between 1900 and 2100. A DateTime is shrunk by removing its second, minute and hour compoonents.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.Char">
<summary>
Generates arbitrary chars, between ASCII codes Char.MinValue and 127.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.Byte">
<summary>
Generates an arbitrary byte.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.Bool">
<summary>
Generates arbitrary bools.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.Arrow``2">
<summary>
Generate a function value. Function values can be generated for types &apos;a-&gt;&apos;b where &apos;a has a CoArbitrary
value and &apos;b has an Arbitrary value.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.Array2D``1">
<summary>
Generate a rank 2, zero based array.
</summary>
</member>
<member name="M:FsCheck.Arb.Default.Array``1">
<summary>
Generate a rank 1 array.
</summary>
</member>
<member name="T:FsCheck.Arb.Default">
<summary>
A collection of default generators.
</summary>
</member>
<member name="M:FsCheck.Arb.mapFilter``1(Microsoft.FSharp.Core.FSharpFunc`2{``0,``0},Microsoft.FSharp.Core.FSharpFunc`2{``0,System.Boolean},FsCheck.Arbitrary{``0})">
<summary>
 Return an Arbitrary instance that is a mapped and filtered version of an existing arbitrary instance.
 The generator uses Gen.map with the given mapper and then Gen.suchThat with the given predicate, 
 and the shrinks are filtered using Seq.filter with the given predicate.
This is sometimes useful if using just a filter would reduce the chance of getting a good value
from the generator - and you can map the value instead. E.g. PositiveInt.
</summary>
</member>
<member name="M:FsCheck.Arb.filter``1(Microsoft.FSharp.Core.FSharpFunc`2{``0,System.Boolean},FsCheck.Arbitrary{``0})">
<summary>
 Return an Arbitrary instance that is a filtered version of an existing arbitrary instance.
 The generator uses Gen.suchThat, and the shrinks are filtered using Seq.filter with the given predicate.
</summary>
</member>
<member name="M:FsCheck.Arb.convert``2(Microsoft.FSharp.Core.FSharpFunc`2{``0,``1},Microsoft.FSharp.Core.FSharpFunc`2{``1,``0},FsCheck.Arbitrary{``0})">
<summary>
Construct an Arbitrary instance for a type that can be mapped to and from another type (e.g. a wrapper),
based on a Arbitrary instance for the source type and two mapping functions. 
</summary>
</member>
<member name="M:FsCheck.Arb.fromGenShrink``1(FsCheck.Gen{``0},Microsoft.FSharp.Core.FSharpFunc`2{``0,System.Collections.Generic.IEnumerable{``0}})">
<summary>
 Construct an Arbitrary instance from a generator and shrinker.
</summary>
</member>
<member name="M:FsCheck.Arb.fromGen``1(FsCheck.Gen{``0})">
<summary>
 Construct an Arbitrary instance from a generator.
 Shrink is not supported for this type.
</summary>
</member>
<member name="M:FsCheck.Arb.register``1">
<summary>
Register the generators that are static members of the type argument.
</summary>
</member>
<member name="M:FsCheck.Arb.registerByType(System.Type)">
<summary>
Register the generators that are static members of the given type.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Arb.shrink``1(``0)">
<summary>
Returns the immediate shrinks for the given value based on its type.
</summary>
</member>
<member name="M:FsCheck.Arb.generate``1">
<summary>
Returns a Gen&lt;&apos;Value&gt;
</summary>
</member>
<member name="M:FsCheck.Arb.from``1">
<summary>
Get the Arbitrary instance for the given type.
</summary>
</member>
<member name="">

</member>
<member name="T:FsCheck.Arb">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Checks.Property">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Checks.Arbitrary">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Checks.Generator">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Checks.Random">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Checks.Common">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Checks.Helpers">

</member>
<member name="M:FsCheck.Commands.ISpecification`2.Initial">
<summary>
Initial state of both object and model.
</summary>
</member>
<member name="M:FsCheck.Commands.ISpecification`2.GenCommand(`1)">
<summary>
Generate a number of possible commands based on the current state of the model. The commands
are just hints to speed up execution; preconditions are still checked.
</summary>
</member>
<member name="T:FsCheck.Commands.ISpecification`2">
<summary>
A specification for an object under test, based on an abstract model of the
object&apos;s behavior.
</summary>
</member>
<member name="M:FsCheck.Commands.ICommand`2.RunModel(`1)">
<summary>
Executes the command on the model of the object.
</summary>
</member>
<member name="M:FsCheck.Commands.ICommand`2.RunActual(`0)">
<summary>
Excecutes the command on the actual object under test.
</summary>
</member>
<member name="">

</member>
<member name="M:FsCheck.Commands.ICommand`2.Pre(`1)">
<summary>
Precondition for execution of the command.
</summary>
</member>
<member name="">

</member>
<member name="M:FsCheck.Commands.ICommand`2.Post(`0,`1)">
<summary>
Postcondition that must hold after execution of the command.
</summary>
</member>
<member name="">

</member>
<member name="T:FsCheck.Commands.ICommand`2">
<summary>
A single command describes pre and post conditions and the model for a single method under test.
</summary>
</member>
<member name="M:FsCheck.Commands.asProperty``2(FsCheck.Commands.ISpecification{``0,``1})">
<summary>
Turn a specification into a property.
</summary>
</member>
<member name="">

</member>
<member name="T:FsCheck.Commands">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Common.memoize``2(Microsoft.FSharp.Core.FSharpFunc`2{``0,``1})">
<summary>
Memoize the given function.
</summary>
</member>
<member name="M:FsCheck.Common.memoizeWith``2(System.Collections.Generic.IDictionary{``0,``1},Microsoft.FSharp.Core.FSharpFunc`2{``0,``1},``0)">
<summary>
Memoize the given function using the given dictionary
</summary>
</member>
<member name="T:FsCheck.Common">

</member>
<member name="">

</member>
<member name="T:FsCheck.Constant">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Gen.variant``2(``0,FsCheck.Gen{``1})">
<summary>
Basic co-arbitrary generator transformer, which is dependent on an int.
Only used for generating arbitrary functions.
</summary>
</member>
<member name="M:FsCheck.Gen.promote``2(Microsoft.FSharp.Core.FSharpFunc`2{``0,FsCheck.Gen{``1}})">
<summary>
Promote the given function f to a function generator. Only used for generating arbitrary functions.
</summary>
</member>
<member name="M:FsCheck.Gen.constant``1(``0)">
<summary>
Always generate v.          
</summary>
</member>
<member name="M:FsCheck.Gen.array2DOf``1(FsCheck.Gen{``0})">
<summary>
 Generates a 2D array. The square root of the size is the maximum number of rows and columns.
</summary>
</member>
<member name="M:FsCheck.Gen.array2DOfDim``1(System.Int32,System.Int32,FsCheck.Gen{``0})">
<summary>
 Generates a 2D array of the given dimensions.
</summary>
</member>
<member name="M:FsCheck.Gen.arrayOf``1(FsCheck.Gen{``0})">
<summary>
 Generates an array using the specified generator. The maximum length is the size+1.
</summary>
</member>
<member name="M:FsCheck.Gen.arrayOfLength``1(System.Int32,FsCheck.Gen{``0})">
<summary>
 Generates an array of a specified length.
</summary>
</member>
<member name="M:FsCheck.Gen.subListOf``1(System.Collections.Generic.IEnumerable{``0})">
<summary>
 Generates sublists of the given sequence.
</summary>
</member>
<member name="M:FsCheck.Gen.nonEmptyListOf``1(FsCheck.Gen{``0})">
<summary>
 Generates a non-empty list of random length. The maximum length 
 depends on the size parameter.
</summary>
</member>
<member name="M:FsCheck.Gen.listOf``1(FsCheck.Gen{``0})">
<summary>
 Generates a list of random length. The maximum length depends on the
 size parameter.
</summary>
</member>
<member name="M:FsCheck.Gen.suchThat``1(Microsoft.FSharp.Core.FSharpFunc`2{``0,System.Boolean},FsCheck.Gen{``0})">
<summary>
Generates a value that satisfies a predicate. Contrary to suchThatOption, this function keeps re-trying
by increasing the size of the original generator ad infinitum.  Make sure there is a high chance that 
the predicate is satisfied.
</summary>
</member>
<member name="M:FsCheck.Gen.suchThatOption``1(Microsoft.FSharp.Core.FSharpFunc`2{``0,System.Boolean},FsCheck.Gen{``0})">
<summary>
Tries to generate a value that satisfies a predicate. This function &apos;gives up&apos; by generating None
if the given original generator did not generate any values that satisfied the predicate, after trying to
get values from by increasing its size.
</summary>
</member>
<member name="M:FsCheck.Gen.listOfLength``1(System.Int32,FsCheck.Gen{``0})">
<summary>
Generates a list of given length, containing values generated by the given generator.
</summary>
</member>
<member name="M:FsCheck.Gen.sequence``1(Microsoft.FSharp.Collections.FSharpList{FsCheck.Gen{``0}})">
<summary>
Sequence the given list of generators into a generator of a list.
</summary>
</member>
<member name="M:FsCheck.Gen.map6``7(Microsoft.FSharp.Core.FSharpFunc`2{``0,Microsoft.FSharp.Core.FSharpFunc`2{``1,Microsoft.FSharp.Core.FSharpFunc`2{``2,Microsoft.FSharp.Core.FSharpFunc`2{``3,Microsoft.FSharp.Core.FSharpFunc`2{``4,Microsoft.FSharp.Core.FSharpFunc`2{``5,``6}}}}}},FsCheck.Gen{``0},FsCheck.Gen{``1},FsCheck.Gen{``2},FsCheck.Gen{``3},FsCheck.Gen{``4},FsCheck.Gen{``5})">
<summary>
Map the given function over values to a function over generators of those values.
</summary>
</member>
<member name="M:FsCheck.Gen.map5``6(Microsoft.FSharp.Core.FSharpFunc`2{``0,Microsoft.FSharp.Core.FSharpFunc`2{``1,Microsoft.FSharp.Core.FSharpFunc`2{``2,Microsoft.FSharp.Core.FSharpFunc`2{``3,Microsoft.FSharp.Core.FSharpFunc`2{``4,``5}}}}},FsCheck.Gen{``0},FsCheck.Gen{``1},FsCheck.Gen{``2},FsCheck.Gen{``3},FsCheck.Gen{``4})">
<summary>
Map the given function over values to a function over generators of those values.
</summary>
</member>
<member name="M:FsCheck.Gen.four``1(FsCheck.Gen{``0})">
<summary>
Build a generator that generates a 4-tuple of the values generated by the given generator.
</summary>
</member>
<member name="M:FsCheck.Gen.map4``5(Microsoft.FSharp.Core.FSharpFunc`2{``0,Microsoft.FSharp.Core.FSharpFunc`2{``1,Microsoft.FSharp.Core.FSharpFunc`2{``2,Microsoft.FSharp.Core.FSharpFunc`2{``3,``4}}}},FsCheck.Gen{``0},FsCheck.Gen{``1},FsCheck.Gen{``2},FsCheck.Gen{``3})">
<summary>
Map the given function over values to a function over generators of those values.
</summary>
</member>
<member name="M:FsCheck.Gen.three``1(FsCheck.Gen{``0})">
<summary>
Build a generator that generates a 3-tuple of the values generated by the given generator.
</summary>
</member>
<member name="M:FsCheck.Gen.map3``4(Microsoft.FSharp.Core.FSharpFunc`2{``0,Microsoft.FSharp.Core.FSharpFunc`2{``1,Microsoft.FSharp.Core.FSharpFunc`2{``2,``3}}},FsCheck.Gen{``0},FsCheck.Gen{``1},FsCheck.Gen{``2})">
<summary>
Map the given function over values to a function over generators of those values.
</summary>
</member>
<member name="M:FsCheck.Gen.two``1(FsCheck.Gen{``0})">
<summary>
Build a generator that generates a 2-tuple of the values generated by the given generator.
</summary>
</member>
<member name="M:FsCheck.Gen.map2``3(Microsoft.FSharp.Core.FSharpFunc`2{``0,Microsoft.FSharp.Core.FSharpFunc`2{``1,``2}},FsCheck.Gen{``0},FsCheck.Gen{``1})">
<summary>
Map the given function over values to a function over generators of those values.
</summary>
</member>
<member name="M:FsCheck.Gen.frequency``1(System.Collections.Generic.IEnumerable{System.Tuple`2{System.Int32,FsCheck.Gen{``0}}})">
<summary>
Build a generator that generates a value from one of the generators in the given non-empty seq, with
given probabilities. The sum of the probabilities must be larger than zero.
</summary>
</member>
<member name="M:FsCheck.Gen.oneof``1(System.Collections.Generic.IEnumerable{FsCheck.Gen{``0}})">
<summary>
Build a generator that generates a value from one of the generators in the given non-empty seq, with
equal probability.
</summary>
</member>
<member name="M:FsCheck.Gen.elements``1(System.Collections.Generic.IEnumerable{``0})">
<summary>
Build a generator that randomly generates one of the values in the given non-empty seq.
</summary>
</member>
<member name="M:FsCheck.Gen.choose(System.Int32,System.Int32)">
<summary>
Generates an integer between l and h, inclusive.
</summary>
</member>
<member name="M:FsCheck.Gen.eval``1(System.Int32,FsCheck.Random.StdGen,FsCheck.Gen{``0})">
<summary>
Generates a value out of the generator with maximum size n.
</summary>
</member>
<member name="P:FsCheck.Gen.rand">
<summary>
Default generator that generates a random number generator. Useful for starting off the process
of generating a random value.
</summary>
</member>
<member name="M:FsCheck.Gen.resize``1(System.Int32,FsCheck.Gen{``0})">
<summary>
Override the current size of the test. resize n g invokes generator g with size parameter n.
</summary>
</member>
<member name="M:FsCheck.Gen.sized``1(Microsoft.FSharp.Core.FSharpFunc`2{System.Int32,FsCheck.Gen{``0}})">
<summary>
Obtain the current size. sized g calls g, passing it the current size as a parameter.
</summary>
</member>
<member name="M:FsCheck.Gen.map``2(Microsoft.FSharp.Core.FSharpFunc`2{``0,``1},FsCheck.Gen{``0})">
<summary>
Apply (&apos;map&apos;) the function f on the value in the generator, yielding a new generator.
</summary>
</member>
<member name="T:FsCheck.Gen">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.GenBuilder.GenBuilder">
<summary>
The workflow type for generators.
</summary>
</member>
<member name="P:FsCheck.GenBuilder.gen">
<summary>
The workflow function for generators, e.g. gen { ... }
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.GenBuilder">

</member>
<member name="M:FsCheck.Prop.within``1(System.Int32,System.Lazy{``0})">
<summary>
Fails the property if it does not complete within t milliseconds. Note that the called property gets a
cancel signal, but whether it responds to that is up to the property; the execution may not actually stop.
</summary>
</member>
<member name="M:FsCheck.Prop.op_DotBarDot``2(``0,``1)">
<summary>
Construct a property that fails if both fail. (cfr &apos;or&apos;)
</summary>
</member>
<member name="M:FsCheck.Prop.op_DotAmpDot``2(``0,``1)">
<summary>
Construct a property that succeeds if both succeed. (cfr &apos;and&apos;)
</summary>
</member>
<member name="M:FsCheck.Prop.op_AtBar``1">
<summary>
Add the given label to the property. label on the left hand side, property on the right.
</summary>
</member>
<member name="M:FsCheck.Prop.op_BarAt``1(``0)">
<summary>
Add the given label to the property. Property on the left hand side, label on the right.
</summary>
</member>
<member name="M:FsCheck.Prop.label``1(System.String)">
<summary>
Add the given label to the property. The labels of a failing sub-property are displayed when it fails.
</summary>
</member>
<member name="M:FsCheck.Prop.collect``2(``0)">
<summary>
Collect data values property combinator. The argument of collect is evaluated in each test case, 
and the distribution of values is reported, using any_to_string.
</summary>
</member>
<member name="M:FsCheck.Prop.trivial``1(System.Boolean)">
<summary>
Count trivial cases property combinator. Test cases for which the condition is True are classified as trivial.
</summary>
</member>
<member name="M:FsCheck.Prop.classify``1(System.Boolean,System.String)">
<summary>
Classify test cases combinator. Test cases satisfying the condition are assigned the classification given.
</summary>
</member>
<member name="">

</member>
<member name="M:FsCheck.Prop.throws``2(System.Lazy{``1})">
<summary>
Expect exception &apos;t when executing p. So, results in success if an exception of the given type is thrown, 
and a failure otherwise.
</summary>
</member>
<member name="M:FsCheck.Prop.op_EqualsEqualsGreater``1(System.Boolean,``0)">
<summary>
Conditional property combinator. Resulting property holds if the property after ==&gt; holds whenever the condition does.
</summary>
</member>
<member name="M:FsCheck.Prop.given``2(System.Boolean,``0,``1)">
<summary>
Depending on the condition, return the first testable if true and the second if false.
</summary>
</member>
<member name="M:FsCheck.Prop.forAll``2(FsCheck.Arbitrary{``0},Microsoft.FSharp.Core.FSharpFunc`2{``0,``1})">
<summary>
Quantified property combinator. Provide a custom test data generator to a property.
</summary>
</member>
<member name="T:FsCheck.Prop">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Random">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Reflect.genericTypeEq(System.Type,System.Type)">
<summary>
Equality for generic types    
</summary>
</member>
<member name="M:FsCheck.Reflect.getUnionTagReader(System.Type)">
<summary>
 Get reader for union case name (aka tag)
</summary>
</member>
<member name="M:FsCheck.Reflect.getUnionCases(System.Type)">
<summary>
 Returns the case name, type, and functions that will construct a constructor and a reader of a union type respectively
</summary>
</member>
<member name="M:FsCheck.Reflect.getRecordReader(System.Type)">
<summary>
 Get reader for record type
</summary>
</member>
<member name="M:FsCheck.Reflect.getRecordConstructor(System.Type)">
<summary>
 Get constructor for record type
</summary>
</member>
<member name="M:FsCheck.Reflect.getRecordFields(System.Type)">
<summary>
 Get information on the fields of a record type
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Reflect">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.ReflectArbitrary.reflectGen``1(Microsoft.FSharp.Core.FSharpFunc`2{System.Type,FsCheck.Gen{System.Object}})">
<summary>
Builds a generator for the given type based on reflection. Currently works for record and union types.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.ReflectArbitrary.enumOfType(System.Type)">
<summary>
 Generate a random enum of the type specified by the System.Type
</summary>
</member>
<member name="T:FsCheck.ReflectArbitrary">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Res">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Rose">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="P:FsCheck.Runner.init">
<summary>
Force this value to do the necessary initializations of typeclasses. Normally this initialization happens automatically. 
In any case, it can be forced any number of times without problem.
</summary>
</member>
<member name="P:FsCheck.Runner.consoleRunner">
<summary>
A runner that prints results to the console.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.Runner.onFinishedToString(System.String,FsCheck.TestResult)">
<summary>
A function that returns the default string that is printed as a result of the test.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Runner">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.Testable.Prop">

</member>
<member name="T:FsCheck.Testable">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="M:FsCheck.TypeClass.TypeClass`1.Merge(FsCheck.TypeClass.TypeClass{`0})">
<summary>
Merge the instances defined by the given instances type with the ones already defined in this TypeClass.
Instances defined in the given type override the instances in this TypeClass instance.
</summary>
</member>
<member name="">

</member>
<member name="M:FsCheck.TypeClass.TypeClass`1.DiscoverAndMerge(System.Boolean,System.Type)">
<summary>
Discover instances for this TypeClass on the given type. Merge the result with this TypeClass,
with the newly discovered instances overriding the instances on this TypeClass.
</summary>
</member>
<member name="M:FsCheck.TypeClass.TypeClass`1.Discover(System.Boolean,System.Type)">
<summary>
Make a new TypeClass with only the instances registered on the given type.
Note that all instances of this TypeClass will not be registered on the new TypeClass. 
Use Merge in addition to achieve that, or use DiscoverAndMerge to do both.
</summary>
</member>
<member name="M:FsCheck.TypeClass.TypeClass`1.Compare(FsCheck.TypeClass.TypeClass{`0})">
<summary>
Compares this TypeClass with the given TypeClass. Returns, respectively, the new instances, overridden instances,
new array instances, overridden array instances, new catch all or overridden catchall introduced by the other TypeClass.
</summary>
</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="">

</member>
<member name="T:FsCheck.TypeClass">

</member>
</members>
</doc>
